For any nonzero integers a and b, there exist integers

s and t for which gcd(a,b) = as + bt.

Furthermore, gcd(a,b) is the smallest positive integer of the form as + bt.